1![](https://www.pdfsearch.io/img/58d853752e8c65de87517ad97479d14f.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2013-01-09 06:40:19
|
---|
2![HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone](https://www.pdfsearch.io/img/7a9f34cf2a620f82bd28a15486c139e5.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-01-15 03:40:14
|
---|
3![Journal of Pure and Applied Journal of Pure and Applied](https://www.pdfsearch.io/img/432fcfbcb83dff9b30d26d2f83f1efc8.jpg) | Add to Reading ListSource URL: www.mat.uniroma2.itLanguage: English - Date: 2006-06-15 23:55:01
|
---|
4![ADDENDUM FOR CET 1.9.3b 1. ArabTEX CET is ready for ArabTEX (author: Klaus Lagally, University Stuttgart). You can get ArabTEX via ftp (Internet) and you must install it manually. After the installation of ArabTEX and af ADDENDUM FOR CET 1.9.3b 1. ArabTEX CET is ready for ArabTEX (author: Klaus Lagally, University Stuttgart). You can get ArabTEX via ftp (Internet) and you must install it manually. After the installation of ArabTEX and af](https://www.pdfsearch.io/img/ade8efd91d89efbaeb7288db6f63317e.jpg) | Add to Reading ListSource URL: karas.chLanguage: English - Date: 2004-07-01 12:48:17
|
---|
5![Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr](https://www.pdfsearch.io/img/d8f48bcecf6dd51e6a533d58f29a6dec.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2014-05-05 03:54:39
|
---|
6![Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge,](https://www.pdfsearch.io/img/e0f1f5f58547e2f4e83f79e59a9ba226.jpg) | Add to Reading ListSource URL: cseweb.ucsd.eduLanguage: English - Date: 2013-10-01 17:54:25
|
---|
7![· Combinators for Bi-Directional Tree Transformations App–1 · Combinators for Bi-Directional Tree Transformations App–1](https://www.pdfsearch.io/img/c1a9471570fbdda51226681bf47c4067.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2007-01-16 16:08:19
|
---|
8![The Limiting Behavior of Non-cylindrical Elementary Cellular Automata The Limiting Behavior of Non-cylindrical Elementary Cellular Automata](https://www.pdfsearch.io/img/b42ccecbe9059364e5a4a9e4010fc4cc.jpg) | Add to Reading ListSource URL: www.complex-systems.comLanguage: English - Date: 2013-03-26 14:33:18
|
---|
9![Wigner function negativity and contextuality in quantum computation on rebits Nicolas Delfosse1 , Philippe Allard Guerin2 , Jacob Bian2 , Robert Raussendorf2 1: D´epartment de Physique, Universit´e de Sherbrooke, Sherb Wigner function negativity and contextuality in quantum computation on rebits Nicolas Delfosse1 , Philippe Allard Guerin2 , Jacob Bian2 , Robert Raussendorf2 1: D´epartment de Physique, Universit´e de Sherbrooke, Sherb](https://www.pdfsearch.io/img/caeb6cbce911de8c8f4497b7134ae827.jpg) | Add to Reading ListSource URL: www.quantum-lab.orgLanguage: English - Date: 2014-11-29 08:52:20
|
---|
10![Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge,](https://www.pdfsearch.io/img/b227434331e0354140d589b058a3a760.jpg) | Add to Reading ListSource URL: cjtcs.cs.uchicago.eduLanguage: English - Date: 2000-02-20 22:53:43
|
---|